$\forall$$M$:MsgA, $k$:Knd. Dec($k$ declared in $M$)